Semantic reasoner
SOFTWARE ABLE TO INFER LOGICAL CONSEQUENCES FROM A SET OF ASSERTED FACTS OR AXIOMS
Reasoner; Semantic Reasoner; Reasoning engine; Rule engines; List of semantic reasoners
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with.